predicate calculus logic

述词演算逻辑